1. Beyond Two: Theory and Applications of Multiple-Valued Logic
پدیدآورنده : edited by Melvin Fitting, Ewa Orłowska.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Artificial intelligence.,Computer science.,Logic design.
2. Language and Automata Theory and Applications :
پدیدآورنده : edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
3. Logic and its applications :
پدیدآورنده : Kamal Lodaya (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical -- Congresses.,Logic.,MATHEMATICS -- Infinity.
رده :
QA9
.
A1
K363
2013
4. Logic, rationality, and interaction :
پدیدآورنده : Davide Grossi [und weitere] (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Kognitionswissenschaft.,Künstliche Intelligenz.,Lernendes System.
رده :
BC5
.
D385
2013
5. Logical foundations of computer science :
پدیدآورنده : eds.: Anil Nerode ...
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
6. Non-classical Logics and Their Applications to Fuzzy Subsets A Handbook of the Mathematical Foundations of Fuzzy Set Theory.
پدیدآورنده : Hh̲le, Ulrich; Klement, Erich Peter
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA9
.
4
H454
2013
7. Non-classical Logics and Their Applications to Fuzzy Subsets A Handbook of the Mathematical Foundations of Fuzzy Set Theory.
پدیدآورنده : Hh̲le, Ulrich; Klement, Erich Peter
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
8. Proof Theory for Fuzzy Logics
پدیدآورنده : \ by George Metcalfe, Nicola Olivetti, Dov Gabbay.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Fuzzy logic.,Proof theory.,منطق فازی
رده :
E-Book
,
9. Proof theory for fuzzy logics
پدیدآورنده : Metcalfe, George
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48
2009
10. Proof theory for fuzzy logics
پدیدآورنده : Metcalfe, George
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48P7
11. Proof theory for fuzzy logics
پدیدآورنده : Metcalfe, George.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48
2009
12. Proof theory for fuzzy logics
پدیدآورنده : / George Metcalfe,Nicola Olivetti, Dov Gabbay.
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Proof theory,fuzzy logics
رده :
511
.
3
M588p
13. Proof theory for fuzzy logics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Fuzzy logic. ; Proof theory. ;
14. Theory of Graded Consequence :
پدیدآورنده : Mihir Kumar Chakraborty, Soma Dutta.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Uncertainty (Information theory),Logic, Symbolic and mathematical.,Uncertainty (Information theory)
رده :
QA9
.
C45
2019
15. proof theory for fuzzy logics
پدیدآورنده : Metcalfe, george
کتابخانه: Library of Farabi Campus of Tehran University (Qom)
موضوع :
رده :
QA
9
.
64
.
P78
2009
